Laboratoire des sciences de l’ingénieur, de l’informatique et de l’imagerie ICube 02

Source URL: icube.unistra.fr

The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology

1 BILAN MORAL 2017 DU CERCLE DU COIN Présenté au nom du CA par le Président à l’AGO du 24 janvier 2018 L’association a compté cette année 95 membres : - 68 membres physiques et

Source URL: lecercleducoin.fr

B E L F E R C E N T E R PA P E R The Collapse of Civilizations Malcolm H. Wiener

Source URL: www.belfercenter.org

• Geography of Europe
• Europe
• Culture
• Malcolm H. Wiener
• Tourism in Greece
• Belfer
• Civilization
• Bronze Age
• Ancient history
• Greeks
• Athens
• Minoan civilization

Département fédéral de l’intérieur DFI Office fédéral de la sécurité alimentaire et des affaires vétérinaires OSAV Santé animale Février 2017

Source URL: www.blv.admin.ch

– MEDIAKIT 2018 – Eine Publikation der Gruppe INDICES ist die Monatsbeilage von L’Agefi. Sie ist auf Finanz- und Anlagethemen ausgerichtet und behandelt

Source URL: www.agefi.com

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–964) GLOBAL SURFACES OF SECTION FOR REEB FLOWS IN DIMENSION THREE AND BEYOND Pedro A. S. Salomão and Umberto L. Hryniewicz

Source URL: eta.impa.br

• Differential topology
• Topology
• Theoretical physics
• Hamiltonian mechanics
• Symplectic topology
• Contact geometry
• Symplectomorphism
• Symplectic geometry
• Foliation
• Geodesic
• Differential geometry of surfaces
• Riemannian geometry

Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Artificial intelligence
• Applied mathematics
• Computational linguistics
• Natural language processing
• Speech recognition
• Convolutional neural network
• Language model
• Long short-term memory
• Neural network

A Fistful of Bitcoins Characterizing Payments Among Men with No Names SAR AH MEIKLE JOHN, MAR JORI POMAROLE , GR ANT JORDAN, K I R I L L L E VC H E N KO , DA M O N M C C OY, G E O F F R E Y M . VO E L K E R A N D S T E

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Money
• Economy
• Currency
• Digital currencies
• Blockchains
• Mt. Gox
• Silk Road
• Satoshi Nakamoto
• BitPay